3f7f731331bab0b6a2114fe5cbd33eab597cf0d8,src/org/jgroups/Message.java,Message,readFrom,#DataInputStream#,545

Before Change


        if(b == 0)
            return;
        b=in.readInt();
        headers();
        for(int i=0; i < b; i++) {
            hdr_name=in.readUTF();
            hdr=readHeader(in);

After Change


        }

        // 4. headers
        if((leading & HDRS_SET) == HDRS_SET) {
            len=in.readInt();
            headers();
            for(int i=0; i < len; i++) {
                hdr_name=in.readUTF();
                hdr=readHeader(in);